97 research outputs found

    The minimal components of the Mayr-Meyer ideals

    Get PDF
    Mayr and Meyer found ideals J(n,d)J(n,d) (in a polynomial ring in 10n+210n+2 variables over a field kk and generators of degree at most d+2d+2) with ideal membership property which is doubly exponential in nn. This paper is a first step in understanding the primary decomposition of these ideals: it is proved here that J(n,d)J(n,d) has nd2+20nd^2 + 20 minimal prime ideals. Also, all the minimal components are computed, and the intersection of the minimal components as well

    A new family of ideals with the doubly exponential ideal membership property

    Full text link
    Mayr and Meyer found ideals with the doubly exponential ideal membership property. In the analysis of the associated primes of these ideals (in math.AC/0209344), a new family of ideals arose. This new family is presented and analyzed in this paper. It is proved that this new family also satisfies the doubly exponential ideal membership property. Furthermore, the set of associated primes of this family can be computed inductively

    Computing Instanton Numbers of Curve Singularities

    Get PDF
    We present an algorithm for computing instanton numbers of curve singularities. A comparison is made between these and some other invariants of curve singularities. The algorithm has been implemented in the symbolic computer algebra program Macaulay2, and can be downloaded from http://www.math.nmsu.edu/\~{}iswanson/instanton.m2.}Comment: Revised version, several new examples have been added. To appear in J. Symbolic Computatio

    An algorithm for computing the integral closure

    Full text link
    We present an algorithm for computing the integral closure of a reduced ring that is finitely generated over a finite field
    • …
    corecore